The GPUVerify Method: a Tutorial Overview
نویسنده
چکیده
I present a tutorial overview demonstrating the key technique used by GPUVerify, a static verification tool for graphics processing unit (GPU) kernels. The technique is a method for translating a massively parallel GPU kernel into a sequential program such that correctness of the sequential program implies data race-freedom of the parallel kernel.
منابع مشابه
Medical nanobiosensors: A tutorial review
A sensitive monitoring of biological analytes, such as biomolecules (protein, lipid, DNA and RNA), and biological cells (blood cell, virus and bacteria), is essential to assess and avoid risks for human health. Nanobiosensors, analytical devices that combine a biologically sensitive element with a nanostructured transducer, are being widely used for molecular detection of biomarkers associated ...
متن کاملمقدمهای بر سیستمهای اسپینی کوانتمی
This manuscript is the collection of lectures given in the summer school on strongly correlated electron systems held at Isfahan university of technology, June 2007. A short overview on quantum magnetism and spin systems is presented. The numerical exact diagonalization (Lanczos) alghorithm is explained in a pedagogical ground. This is a method to get some ground state properties on finite clus...
متن کاملDevelopment and Usability Evaluation of an Online Tutorial for “How to Write a Proposal” for Medical Sciences Students
Background and Objective: Considering the importance of learning how to write a proposal for students, this study was performed to develop an online tutorial for “How to write a Proposal” for students and to evaluate its usability. Methods: This study is a developmental research and tool design. “Gamified Online Tutorial based on Self-Determination Theory (GOT-STD) Framework" became the basis f...
متن کاملContinuous-Time Delta-Sigma Modulators: Tutorial Overview, Design Guide, and State-of-the-Art Survey
This paper presents a tutorial overview of ContinuousTime Delta-Sigma Modulators (CTDSM); their operating principles to understand what is important intuitively and architectures to achieve higher conversion efficiency and to operate low supply voltage, design methods against loop stability problem, tuning methods of the bandwidth and so on. A survey of cutting-edge CMOS implementations is desc...
متن کاملKernel Methods for Predictive Sequence Analysis
This tutorial is meant for a broad audience: Students, researchers, biologists and computer scientist interested in (a) an overview of general and efficient algorithms for statistical learning used in computational biology, (b) sequence kernels for the problems such as promoter or splice site detection. No specific knowledge will be required since the tutorial is self-contained and most fundame...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- ECEASST
دوره 70 شماره
صفحات -
تاریخ انتشار 2014